reducible correspondence

可约对应